🔒 Type Safety

Memory Safety, Rust Ownership, Linear Types, Resource Management

The pirate-based logic of Rust shared references
ais523.me.uk·4d·
Discuss: Lobsters, Hacker News, r/programming
🦀Rust Borrowing
How Python Type Hints Transform Code Quality and Reduce Bugs in Modern Development
dev.to·8h·
Discuss: DEV
🔬Refinement Types
Advent of Code: Libraries
elly.town·1d
⛪Church Encoding
Issue 490
haskellweekly.news·6h
🔗Functional Compilers
Can a Data Race Happen on a Single-Core Machine?
aoli.al·1h·
Discuss: Hacker News
⚡Cache Coherence
Announcing Rust 1.90.0
blog.rust-lang.org·18h·
Discuss: Lobsters, Hacker News, r/rust
🦀Rust Borrowing
Controlling program flow with capabilities in Scala
nrinaudo.github.io·8h·
Discuss: Lobsters, Hacker News
🧠Lisp Dialects
C++ Committee Prefers Bjarne's Profiles to Baxter's Rustification
news.ycombinator.com·10h·
Discuss: Hacker News
🦀Rust Borrowing
Unusual Memory Bit Patterns | Software Verify
softwareverify.com·11h
🧠Separation Logic
Portable C++ Guideline
github.com·1d·
Discuss: Hacker News
🦀Rust Borrowing
Beyond Sandbox Domains: Rendering Untrusted Web Content with SafeContentFrame
bughunters.google.com·18h
🛡️WASM Security
Pleasant Imperative Program Proofs with GallinaC
arxiv.org·1d
⚔️Lean Tactics
How we built a flywheel to steadily improve security for Amazon RDS
aws.amazon.com·23h
👁️Observatory Systems
[$] Comparing Rust to Carbon
lwn.net·2d
🦀Rust Borrowing
haskell/mtl
github.com·16h
🔗Functional Compilers
PSA: `views::single` doesn’t really view
quuxplusone.github.io·2d
🧮Algebraic Datatypes
Swift 6.2 advances the language meaningfully
victorwynne.com·1d·
Discuss: Hacker News, r/programming
🔗Functional Compilers
Always Bump Downwards
fitzgen.com·1d·
Discuss: Hacker News
🧠Memory Allocators
I wrote a guide on Go slices (len/cap, append growth, slicing pitfalls, and copy for leak-free code)
reddit.com·2h·
Discuss: r/golang
🦀Rust Macros
Cross-platform applications with Rust 1: Durable and flexible
heise.de·2d
🔩Systems Programming